editor calculus
A generalised editor calculus (Short Paper)
Bennetzen, Benjamin, Steffensen, Peter Buus, Hüttel, Hans, Kristensen, Nikolaj Rossander, Mortensen, Andreas Tor
In this paper, we present a generalization of a syntax-directed editor calculus, which can be used to instantiate a specialized syntax-directed editor for any language, given by some abstract syntax. The editor calculus guarantees the absence of syntactical errors while allowing incomplete programs. The generalized editor calculus is then encoded into a simply typed lambda calculus, extended with pairs, booleans, pattern matching and fixed points
2505.18778
Country:
- Europe > Denmark > North Jutland > Aalborg (0.05)
- North America > United States > New York > New York County > New York City (0.05)
- North America > United States > Georgia > Fulton County > Atlanta (0.04)
- Europe > United Kingdom > England > Cambridgeshire > Cambridge (0.04)
Technology: Information Technology > Artificial Intelligence > Representation & Reasoning > Logic & Formal Reasoning (0.37)